Wyniki
-
Arithmetizations of the syllogistic a la Leibniz
Vladimir Sotirov
Bulletin of the Section of Logic , 27 /4 (1998) s. 156-163 -
On Some Applied First-Order Theories which Can be Represented by Definitions
Vladimir Shalack
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 19-24 -
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
From Ternary to Tetrary?
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 23 /4 (1994) s. 163-167 -
Even tabular modal logics sometimes do not have independent base for admissible rules
Vladimir V. Rybakov
Bulletin of the Section of Logic , 24 /1 (1995) s. 37-40 -
Implicative logics in categories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 26 /4 (1997) s. 188-192 -
The structure of rigid frames of restricted depth
Vladimir V. Rybakov
Bulletin of the Section of Logic , 27 /4 (1998) s. 172-181 -
An explicit basis for rules admissible in modal system S4
Vladimir V. Rybakov
Bulletin of the Section of Logic , 28 /3 (1999) s. 135-144 -
Implicative logics, sequential deductive systems and exponential multicategories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 13-25 -
The bibinary semantics for R and Lω
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 15 /3 (1986) s. 109-114 -
Paraconsistent sequential calculi
Vladimir M. Popov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 148-158 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181 -
T-F-toposes for Lukasiewicz's infinite-valued logics
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 182-187 -
On a closure of a set of classically essential formulas and on relevant implication
Vladimir M. Popov
Bulletin of the Section of Logic , 18 /1 (1989) s. 20-24 -
A View of Logical Omniscience Problem
Vladimir V. Rybakov
Bulletin of the Section of Logic , 30 /4 (2001) s. 213-229 -
Unification in Common Knowledge Logics
Vladimir V. Rybakov
Bulletin of the Section of Logic , 31 /4 (2002) s. 207-215 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics
V.V. Rimatski, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /2 (2005) s. 93-99 -
The reals in D*
Matias F. Dias
Bulletin of the Section of Logic , 7 /2 (1978) s. 88